$\forall$${\it es}$:ES, $X$:AbsInterface($\mathbb{Z}$), $e$:E. $\Sigma\leq$$e$($X$) $\in$ $\mathbb{Z}$